1. 5, 2009, Revised Selected Papers-FM 2009, Bologna, Italy, September 4-Web Services and Formal Methods: 6th International Workshop, WS
Author: / Liguoro (auth.), Cosimo Laneve, Jianwen Su (eds.)بCiancaglini, Ugo de-Mariangiola Dezani
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
2. 5, 2009, Revised Selected Papers-FM 2009, Bologna, Italy, September 4-Web Services and Formal Methods: 6th International Workshop, WS
Author: Liguoro (auth.), Cosimo Laneve, Jianwen Su (eds.)بCiancaglini, Ugo de-Mariangiola Dezani
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: BUSINESS, MANAGEMENT AND ECONOMICS
3. Web Services and Formal Methods
Author: / Cosimo Laneve, Jianwen Su
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
